منابع مشابه
The Cosmological Hoe
The hoe—the sound of the word is sweet...the hoe makes everything prosper, the hoe makes everything flourish. The hoe is good barley...the hoe is brick moulds, the hoe has made people exist. It is the hoe that is the strength of young manhood. The hoe and the basket are the tools for building cities. It builds the right kind of house, it cultivates the right kind of fields. It is you, hoe, that...
متن کاملBoolean Algebras in Visser Algebras
We generalize the double negation construction of Boolean algebras in Heyting algebras, to a double negation construction of the same in Visser algebras (also known as basic algebras). This result allows us to generalize Glivenko’s Theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras. Mathematics Subject Classification: P...
متن کاملThe Visser topology of lambda calculus
A longstanding open problem in lambda calculus is whether there exists a non-syntactical model of the untyped lambda calculus whose theory is exactly the least λ-theory λβ. In this paper we make use of the Visser topology for investigating the related question of whether the equational theory of a model can be recursively enumerable (r.e. for brevity). We introduce the notion of an effective mo...
متن کاملHybrid Techniques for Hybrid Systems
ieniveauworden deze twee soorten gedrag uniform behandeld, als normale el-ementen van de procesalgebra. Hun gedragwordt bepaald door gebruik temaken vanstructural operational semantics (SOS) regels [Plotkin, 1981, 2003]. Verder respecterende regels al de verschillen tussen trajectory prefixes en action prefixes, gebaseerd oponze intuïtie over hoe dergelijke processen zich zouden...
متن کاملVisser : Design as Construction of Representations
In this chapter, we present our own approach to design, as we have described it in The Cognitive Artifacts of Designing: from a cognitive viewpoint, designing is constructing representations. What is this link between design and representations? Designing consists in specifying an artifact, for example a machine tool – not in its implementation, its fabrication in the workshop. The result of de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ontmoetingen. Voordrachtenreeks van het Lutje Psychiatrisch-Juridisch Gezelschap
سال: 2008
ISSN: 1566-8231
DOI: 10.21827/5a6b4160cd73d